《alf》怎以读
[ælf]
《alf》是什么意思
- 阿尔夫
- 聪明,小精灵,Alfred的昵称
- 瑞典语
- 男
英英释义
ALF
- ALF ("Another logical framework") is a structure editor for monomorphic Martin-Löf type theory developed at Chalmers University. It is a predecessor of the Alfa, Agda, Cayenne and Coq proof assistants and dependently typed programming languages.
以上来源于:Wikipedia
学习《alf》怎么用
双语例句
用作名词(n.)
- Alf doesn't know how to appreciate favours.
阿尔夫此人不识抬举。 - Alf's wife has never discovered that she married a dustman.
阿尔夫的妻子从未发现自己嫁了一个清洁工。
权威例句
The Alf proof editor and its proof engineThe Alf proof editor and its proof engineThe Alf proof editor and its proof engineFormation and Crystallization Behavior of AlF_3-YF_3-BaF_2-CaF_2-MgF_2-SrF_2 GlassesStructure of RGS4 Bound to AlF 4 − -Activated G iα1 : Stabilization of the Transition State for GTP HydrolysisThe Role of AlF 3 Coatings in Improving Electrochemical Cycling of Li-Enriched Nickel-Manganese Oxide Electrodes for Li-Ion BatteriesPreliminary studies of an acid-labile factor (ALF) in human sera that inactivates platelet-activating factor (PAF).Antilipopolysaccharide factor (ALF) of mud crab Scylla paramamosain: molecular cloning, genomic organization and the antimicrobial a...Single Crystal Anisotropy and Magnetostriction Constants of Several Ferromagnetic Materials Including Alloys of NiFe, SiFe, AlFe, Co...Mutations of hepatitis C virus 1b NS5A 2209–2248 amino acid sequence do not predict the response to recombinant interferon-alfa the...